Zaikin O. S., Semenov A. A., Otpuschennikov I. V. «Propositional encoding of direct and inverse round transformations in attacks on some block ciphers» // Applied Discrete Mathematics. Supplement 2018. №11 C.76-79
Kochemazov S. E., Semenov A. A., Gorbatenko D. E. «On discrete automaton models of attacks in computer networks» // Applied Discrete Mathematics. Supplement 2016. №9 C.80-83
